Bell-Type Quantum Field Theories

In [Phys. Rep. 137, 49 (1986)] John S. Bell proposed how to associate particle trajectories with a lattice quantum field theory, yielding what can be regarded as a |Psi|^2-distributed Markov process on the appropriate configuration space. A similar process can be defined in the continuum, for more or less any regularized quantum field theory; such processes we call Bell-type quantum field theories. We describe methods for explicitly constructing these processes. These concern, in addition to the definition of the Markov processes, the efficient calculation of jump rates, how to obtain the process from the processes corresponding to the free and interaction Hamiltonian alone, and how to obtain the free process from the free Hamiltonian or, alternatively, from the one-particle process by a construction analogous to "second quantization." As an example, we consider the process for a second quantized Dirac field in an external electromagnetic field.Comment: 53 pages LaTeX, no figure

From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

The rise of fully turbulent flow

Over a century of research into the origin of turbulence in wallbounded shear flows has resulted in a puzzling picture in which turbulence appears in a variety of different states competing with laminar background flow. At slightly higher speeds the situation changes distinctly and the entire flow is turbulent. Neither the origin of the different states encountered during transition, nor their front dynamics, let alone the transformation to full turbulence could be explained to date. Combining experiments, theory and computer simulations here we uncover the bifurcation scenario organising the route to fully turbulent pipe flow and explain the front dynamics of the different states encountered in the process. Key to resolving this problem is the interpretation of the flow as a bistable system with nonlinear propagation (advection) of turbulent fronts. These findings bridge the gap between our understanding of the onset of turbulence and fully turbulent flows.Comment: 31 pages, 9 figure

New Penrose Limits and AdS/CFT

We find a new Penrose limit of AdS_5 x S^5 giving the maximally supersymmetric pp-wave background with two explicit space-like isometries. This is an important missing piece in studying the AdS/CFT correspondence in certain subsectors. In particular whereas the Penrose limit giving one space-like isometry is useful for the SU(2) sector of N=4 SYM, this new Penrose limit is instead useful for studying the SU(2|3) and SU(1,2|3) sectors. In addition to the new Penrose limit of AdS_5 x S^5 we also find a new Penrose limit of AdS_4 x CP^3.Comment: 30 page

The illusion of competency versus the desirability of expertise: Seeking a common standard for support professions in sport

In this paper we examine and challenge the competency-based models which currently dominate accreditation and development systems in sport support disciplines, largely the sciences and coaching. Through consideration of exemplar shortcomings, the limitations of competency-based systems are presented as failing to cater for the complexity of decision making and the need for proactive experimentation essential to effective practice. To provide a better fit with the challenges of the various disciplines in their work with performers, an alternative approach is presented which focuses on the promotion, evaluation and elaboration of expertise. Such an approach resonates with important characteristics of professions, whilst also providing for the essential ‘shades of grey’ inherent in work with human participants. Key differences between the approaches are considered through exemplars of evaluation processes. The expertise-focused method, although inherently more complex, is seen as offering a less ambiguous and more positive route, both through more accurate representation of essential professional competence and through facilitation of future growth in proficiency and evolution of expertise in practice. Examples from the literature are also presented, offering further support for the practicalities of this approach

Differential geometry with a projection: Application to double field theory

In recent development of double field theory, as for the description of the massless sector of closed strings, the spacetime dimension is formally doubled, i.e. from D to D+D, and the T-duality is realized manifestly as a global O(D,D) rotation. In this paper, we conceive a differential geometry characterized by a O(D,D) symmetric projection, as the underlying mathematical structure of double field theory. We introduce a differential operator compatible with the projection, which, contracted with the projection, can be covariantized and may replace the ordinary derivatives in the generalized Lie derivative that generates the gauge symmetry of double field theory. We construct various gauge covariant tensors which include a scalar and a tensor carrying two O(D,D) vector indices.Comment: 1+22 pages, No figure; a previous result on 4-index tensor removed, presentation improve

The Subleading Term of the Strong Coupling Expansion of the Heavy-Quark Potential in a N=4\mathcal N=4 Super Yang-Mills Plasma

Applying the AdS/CFT correspondence, the expansion of the heavy-quark potential of the ${\cal N}$ supersymmetric Yang-Mills theory at large $N_c$ is carried out to the sub-leading term in the large 't Hooft coupling at nonzero temperatures. The strong coupling corresponds to the semi-classical expansion of the string-sigma model, the gravity dual of the Wilson loop operator, with the sub-leading term expressed in terms of functional determinants of fluctuations. The contributions of these determinants are evaluated numerically.Comment: 17 pages in JHEP3, typos fixed, updated version to be published in JHE

Ontology of core data mining entities

In this article, we present OntoDM-core, an ontology of core data mining entities. OntoDM-core defines themost essential datamining entities in a three-layered ontological structure comprising of a specification, an implementation and an application layer. It provides a representational framework for the description of mining structured data, and in addition provides taxonomies of datasets, data mining tasks, generalizations, data mining algorithms and constraints, based on the type of data. OntoDM-core is designed to support a wide range of applications/use cases, such as semantic annotation of data mining algorithms, datasets and results; annotation of QSAR studies in the context of drug discovery investigations; and disambiguation of terms in text mining. The ontology has been thoroughly assessed following the practices in ontology engineering, is fully interoperable with many domain resources and is easy to extend

Ecological equivalence: a realistic assumption for niche theory as a testable alternative to neutral theory

Hubbell's 2001 neutral theory unifies biodiversity and biogeography by modelling steady-state distributions of species richness and abundances across spatio-temporal scales. Accurate predictions have issued from its core premise that all species have identical vital rates. Yet no ecologist believes that species are identical in reality. Here I explain this paradox in terms of the ecological equivalence that species must achieve at their coexistence equilibrium, defined by zero net fitness for all regardless of intrinsic differences between them. I show that the distinction of realised from intrinsic vital rates is crucial to evaluating community resilience. An analysis of competitive interactions reveals how zero-sum patterns of abundance emerge for species with contrasting life-history traits as for identical species. I develop a stochastic model to simulate community assembly from a random drift of invasions sustaining the dynamics of recruitment following deaths and extinctions. Species are allocated identical intrinsic vital rates for neutral dynamics, or random intrinsic vital rates and competitive abilities for niche dynamics either on a continuous scale or between dominant-fugitive extremes. Resulting communities have steady-state distributions of the same type for more or less extremely differentiated species as for identical species. All produce negatively skewed log-normal distributions of species abundance, zero-sum relationships of total abundance to area, and Arrhenius relationships of species to area. Intrinsically identical species nevertheless support fewer total individuals, because their densities impact as strongly on each other as on themselves. Truly neutral communities have measurably lower abundance/area and higher species/abundance ratios. Neutral scenarios can be parameterized as null hypotheses for testing competitive release, which is a sure signal of niche dynamics. Ignoring the true strength of interactions between and within species risks a substantial misrepresentation of community resilience to habitat los

Born to yawn? Understanding yawning as a warning of the rise in cortisol levels: Randomized trial

Background: Yawning consistently poses a conundrum to the medical profession and neuroscientists. Despite neurological evidence such as parakinesia brachialis oscitans in stroke patients and thermo-irregulation in multiple sclerosis patients, there is considerable debate over the reasons for yawning with the mechanisms and hormonal pathways still not fully understood. Cortisol is implicated during yawning and may link many neurological disorders. Evidence was found in support of the Thompson cortisol hypothesis that proposes cortisol levels are elevated during yawning just as they tend to rise during stress and fatigue. Objectives: To investigate whether saliva cortisol levels rise during yawning and, therefore, support the Thompson cortisol hypothesis. Methods: We exposed 20 male and female volunteers aged between 18 and 53 years to conditions that provoked a yawning response in a randomized controlled trial. Saliva samples were collected at the start and again after the yawning response, or at the end of the stimuli presentations if the participant did not yawn. In addition, we collected electromyographic data of the jaw muscles to determine rest and yawning phases of neural activity. Yawning susceptibility scale, Hospital Anxiety and Depression Scale, General Health Questionnaire, and demographic and health details were also collected from each participant. A comprehensive data set allowed comparison between yawners and nonyawners, as well as between rest and yawning phases. Collecting electromyographic data from the yawning phase is novel, and we hope this will provide new information about neuromuscular activity related to cortisol levels. Exclusion criteria included chronic fatigue, diabetes, fibromyalgia, heart conditions, high blood pressure, hormone replacement therapy, multiple sclerosis, and stroke. We compared data between and within participants. Results: In the yawning group, there was a significant difference between saliva cortisol samples (t = -3.071, P = .01). Power and effect size were computed based on repeated-measures t tests for both the yawning and nonyawning groups. There was a medium effect size for the nonyawners group (r = .467) but low power (36%). Results were similar for the yawners group: medium effect size (r = .440) and low power (33%). Conclusions: There was significant evidence in support of the Thompson cortisol hypothesis that suggests cortisol levels are elevated during yawning. A further longitudinal study is planned to test neurological patients. We intend to devise a diagnostic tool based on changes in cortisol levels that may assist in the early diagnosis of neurological disorders based on the data collected. Trial Registration: International Standard Randomized Controlled Trial Number (ISRCTN): 61942768; http://www.controlled-trials.com/ISRCTN61942768/61942768 (Archived by WebCite at http://www.webcitation.org/6A75ZNYvr)